TSTP Solution File: DAT194^1 by Scavenger---EP-0.2